<?php


interface OsInterface
{
    public  function halt();

    public function getName();
}